150 research outputs found
A lightweight BPMN extension for business process-oriented requirements engineering
Process-oriented requirements engineering approaches are often required to deal with the effective adaptation of existing processes in order to easily introduce new or updated requirements. Such approaches are based on the adoption of widely used notations, such as the one introduced by the Business Process Model and Notation (BPMN) standard. However, BPMN models do not convey enough information on the involved entities and how they interact with process activities, thus leading to ambiguities, as well as to incomplete and inconsistent requirements definitions. This paper proposes an approach that allows stakeholders and software analysts to easily merge and integrate behavioral and data properties in a BPMN model, so as to fully exploit the potential of BPMN without incurring into the aforementioned limitation. The proposed approach introduces a lightweight BPMN extension that specifically addresses the annotation of data properties in terms of constraints, i.e., pre- and post-conditions that the different process activities must satisfy. The visual representation of the annotated model conveys all the information required both by stakeholders, to understand and validate requirements, and by software analysts and developers, to easily map these updates to the corresponding software implementation. The presented approach is illustrated by use of two running examples, which have also been used to carry out a preliminary validation activity
Thunkable come strumento di sviluppo a supporto dell'accessibilità
Oggigiorno sono disponibili molti strumenti di end-user development per lo sviluppo rapido di app e siti web. Il supporto dell'accessibilità di tali strumenti non è sempre scontato. In questa sessione si vuol mostrare le funzionalità del framework Thunkable per sviluppare app accessibili e per il supporto all'accessibilità. In particolar modo saranno presentati gli aspetti più rilevanti di Thunkable che potrebbero essere utili nello sviluppo di interfacce utente, nella progettazione di app per l'autonomia, così come nella fruizione di mappe interattive su touch screen. Scopo di questa sessione è quello di presentare, tramite esempi concreti, i risultati ottenuti testando l'uso del framework Thunkable da un punto di vista di accessibilità
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
Many Control Systems are indeed Software Based Control Systems, i.e. control
systems whose controller consists of control software running on a
microcontroller device. This motivates investigation on Formal Model Based
Design approaches for automatic synthesis of control software.
Available algorithms and tools (e.g., QKS) may require weeks or even months
of computation to synthesize control software for large-size systems. This
motivates search for parallel algorithms for control software synthesis.
In this paper, we present a Map-Reduce style parallel algorithm for control
software synthesis when the controlled system (plant) is modeled as discrete
time linear hybrid system. Furthermore we present an MPI-based implementation
PQKS of our algorithm. To the best of our knowledge, this is the first parallel
approach for control software synthesis.
We experimentally show effectiveness of PQKS on two classical control
synthesis problems: the inverted pendulum and the multi-input buck DC/DC
converter. Experiments show that PQKS efficiency is above 65%. As an example,
PQKS requires about 16 hours to complete the synthesis of control software for
the pendulum on a cluster with 60 processors, instead of the 25 days needed by
the sequential algorithm in QKS.Comment: To be submitted to TACAS 2013. arXiv admin note: substantial text
overlap with arXiv:1207.4474, arXiv:1207.409
Fast room temperature very low field-magnetic resonance imaging system compatible with MagnetoEncephaloGraphy environment
In recent years, ultra-low field (ULF)-MRI is being given more and more attention, due to the possibility of integrating ULF-MRI and Magnetoencephalography (MEG) in the same device. Despite the signal-to-noise ratio (SNR) reduction, there are several advantages to operating at ULF, including increased tissue contrast, reduced cost and weight of the scanners, the potential to image patients that are not compatible with clinical scanners, and the opportunity to integrate different imaging modalities. The majority of ULF-MRI systems are based, until now, on magnetic field pulsed techniques for increasing SNR, using SQUID based detectors with Larmor frequencies in the kHz range. Although promising results were recently obtained with such systems, it is an open question whether similar SNR and reduced acquisition time can be achieved with simpler devices. In this work a room-temperature, MEG-compatible very-low field (VLF)-MRI device working in the range of several hundred kHz without sample pre-polarization is presented. This preserves many advantages of ULF-MRI, but for equivalent imaging conditions and SNR we achieve reduced imaging time based on preliminary results using phantoms and ex-vivo rabbits heads
Recommended from our members
NSLS-II RF BEAM POSITION MONITOR
An internal R&D program has been undertaken at BNL to develop a sub-micron RF Beam Position Monitor (BPM) for the NSLS-II 3rd generation light source that is currently under construction. The BPM R&D program started in August 2009. Successful beam tests were conducted 15 months from the start of the program. The NSLS-II RF BPM has been designed to meet all requirements for the NSLS-II Injection system and Storage Ring. Housing of the RF BPM's in +-0.1 C thermally controlled racks provide sub-micron stabilization without active correction. An active pilot-tone has been incorporated to aid long-term (8hr min) stabilization to 200nm RMS. The development of a sub-micron BPM for the NSLS-II has successfully demonstrated performance and stability. Pilot Tone calibration combiner and RF synthesizer has been implemented and algorithm development is underway. The program is currently on schedule to start production development of 60 Injection BPM's starting in the Fall of 2011. The production of {approx}250 Storage Ring BPM's will overlap the Injection schedule
Recommended from our members
Reduction of beta* and increase of luminosity at RHIC
The reduction of {beta}* beyond the 1m design value at RHIC has been consistently achieved over the last 6 years of RHIC operations, resulting in an increase of luminosity for different running modes and species. During the recent 2007-08 deuteron-gold run the reduction to 0.70 from the design 1m achieved a 30% increase in delivered luminosity. The key ingredients allowing the reduction have been the capability of efficiently developing ramps with tune and coupling feedback, orbit corrections on the ramp, and collimation, to minimize beam losses in the final focus triplets, the main aperture limitations for the collision optics. We will describe the operational strategy used to reduce the {beta}*, at first squeezing the beam at store, to test feasibility, followed by the operationally preferred option of squeezing the beam during acceleration, and the resulting luminosity increase. We will conclude with future plans for the beta squeeze
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
The paper overviews recent developments in platform-dependent explicit-state
LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006
Rapid spread of complex change: a case study in inpatient palliative care
<p>Abstract</p> <p>Background</p> <p>Based on positive findings from a randomized controlled trial, Kaiser Permanente's national executive leadership group set an expectation that all Kaiser Permanente and partner hospitals would implement a consultative model of interdisciplinary, inpatient-based palliative care (IPC). Within one year, the number of IPC consultations program-wide increased almost tenfold from baseline, and the number of teams nearly doubled. We report here results from a qualitative evaluation of the IPC initiative after a year of implementation; our purpose was to understand factors supporting or impeding the rapid and consistent spread of a complex program.</p> <p>Methods</p> <p>Quality improvement study using a case study design and qualitative analysis of in-depth semi-structured interviews with 36 national, regional, and local leaders.</p> <p>Results</p> <p>Compelling evidence of impacts on patient satisfaction and quality of care generated 'pull' among adopters, expressed as a remarkably high degree of conviction about the value of the model. Broad leadership agreement gave rise to sponsorship and support that permeated the organization. A robust social network promoted knowledge exchange and built on an existing network with a strong interest in palliative care. Resource constraints, pre-existing programs of a different model, and ambiguous accountability for implementation impeded spread.</p> <p>Conclusions</p> <p>A complex, hospital-based, interdisciplinary intervention in a large health care organization spread rapidly due to a synergy between organizational 'push' strategies and grassroots-level pull. The combination of push and pull may be especially important when the organizational context or the practice to be spread is complex.</p
Source analysis of beta-synchronisation and cortico-muscular coherence after movement termination based on high resolution electroencephalography
We hypothesized that post-movement beta synchronization (PMBS) and cortico-muscular coherence (CMC) during movement termination relate to each other and have similar role in sensorimotor integration. We calculated the parameters and estimated the sources of these phenomena.We measured 64-channel EEG simultaneously with surface EMG of the right first dorsal interosseus muscle in 11 healthy volunteers. In Task1, subjects kept a medium-strength contraction continuously; in Task2, superimposed on this movement, they performed repetitive self-paced short contractions. In Task3 short contractions were executed alone. Time-frequency analysis of the EEG and CMC was performed with respect to the offset of brisk movements and averaged in each subject. Sources of PMBS and CMC were also calculated.High beta power in Task1, PMBS in Task2-3, and CMC in Task1-2 could be observed in the same individual frequency bands. While beta synchronization in Task1 and PMBS in Task2-3 appeared bilateral with contralateral predominance, CMC in Task1-2 was strictly a unilateral phenomenon; their main sources did not differ contralateral to the movement in the primary sensorimotor cortex in 7 of 11 subjects in Task1, and in 6 of 9 subjects in Task2. In Task2, CMC and PMBS had the same latency but their amplitudes did not correlate with each other. In Task2, weaker PMBS source was found bilaterally within the secondary sensory cortex, while the second source of CMC was detected in the premotor cortex, contralateral to the movement. In Task3, weaker sources of PMBS could be estimated in bilateral supplementary motor cortex and in the thalamus. PMBS and CMC appear simultaneously at the end of a phasic movement possibly suggesting similar antikinetic effects, but they may be separate processes with different active functions. Whereas PMBS seems to reset the supraspinal sensorimotor network, cortico-muscular coherence may represent the recalibration of cortico-motoneuronal and spinal systems
Recommended from our members
Experience with IBS-suppression lattice in RHIC
An intra-beam scattering (IBS) is the limiting factor of the luminosity lifetime for RHIC operating with heavy ions. In order to suppress the IBS we designed and implemented new lattice with higher betatron tunes. This lattice had been developed during last three years and had been used for gold ions in yellow ring of the RHIC during d-Au part of the RHIC Run-8. The use of this lattice allowed both significant increases in the luminosity lifetime and the luminosity levels via reduction of beta-stars in the IPS. In this paper we report on the development, the tests and the performance of IBS-suppression lattice in RHIC, including the resulting increases in the peak and the average luminosity. We also report on our plans for future steps with the IBS suppression
- …